Teaching Formal Methods in Computer Science Undergraduates
نویسنده
چکیده
Formal Methods refer to a variety of mathematical modeling techniques, which are used both to model the behaviour of a computer system and to verify that the system satisfy design, safety and functional properties. The incorporation of a Formal Methods course in the undergraduate Computer Science curriculum is strongly suggested by scientific societies such as ACM, IEEE and BCS. In this paper, we record out experience of teaching the 2 year Computer Science students Formal Specification, using the Z notation as a paradigm. We present a methodology for teaching formal specification as well as criteria for setting and assessing students work. We argue that students, through a rigorous mathematical approach to system specification, acquire knowledge, skills and abilities that are useful in all courses of the curriculum as well as in their professional lives as Computer Scientists.
منابع مشابه
Role of E-Learning in Teaching Anatomical Sciences
Introduction: Medical undergraduates usually understand and memorize anatomical course material with difficulty. Also, the current text books and atlases of anatomy and histology do not fulfill all the learning needs of the undergraduates. Therefore, it is necessary to consider the role of internet websites and computer programs (i.e. the role of electronic learning) in teaching....
متن کاملCase based teaching at the bed side versus in classroom for undergraduates and residents of pediatrics
Introduction: Bedsideteaching is defined as teaching in the presence of apatient, it is a vital component of medical education. The aim of this study was to evaluate the effectiveness of two methods of case based teaching (at the bedside and in the classroom) in the teaching hospitals (for both undergraduates and residents of Pediatrics).Methods: Thirty undergraduates and twenty pediatric resid...
متن کاملWeaving a Formal Methods Education with Problem-Based Learning
The idea of weaving formal methods through computing (or software engineering) degrees is not a new one. However, there has been little success in developing and implementing such a curriculum. Formal methods continue to be taught as stand-alone modules and students, in general, fail to see how fundamental these methods are to the engineering of software. A major problem is one of motivation — ...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملTeaching the Process of Science: Faculty Perceptions and an Effective Methodology
Most scientific endeavors require science process skills such as data interpretation, problem solving, experimental design, scientific writing, oral communication, collaborative work, and critical analysis of primary literature. These are the fundamental skills upon which the conceptual framework of scientific expertise is built. Unfortunately, most college science departments lack a formalized...
متن کامل